See https://bugzilla.gnome.org/show_bug.cgi?id=766642
}
headerbar {
- // add vertical margins to headerbar entries, buttons and separators to avoid them spanning the whole height
+ // add vertical margins to common widget on the headerbar to avoid them spanning the whole height
entry,
spinbutton,
separator,
margin-top: 6px;
margin-bottom: 6px;
}
+ switch {
+ margin-top: 9px;
+ margin-bottom: 9px;
+ }
}
.background:not(.tiled):not(.maximized) .titlebar {
headerbar button {
margin-top: 6px;
margin-bottom: 6px; }
+headerbar switch {
+ margin-top: 9px;
+ margin-bottom: 9px; }
.background:not(.tiled):not(.maximized) .titlebar:backdrop, .background:not(.tiled):not(.maximized) .titlebar {
border-top-left-radius: 7px;
headerbar button {
margin-top: 6px;
margin-bottom: 6px; }
+headerbar switch {
+ margin-top: 9px;
+ margin-bottom: 9px; }
.background:not(.tiled):not(.maximized) .titlebar:backdrop, .background:not(.tiled):not(.maximized) .titlebar {
border-top-left-radius: 7px;